Paul C. Attie: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

INTRAVENOUS PROCAINE IN THE THERAPY OF ACUTE POLIOMYELITIS

PAUL, W. D., TAYLOR, HAROLD N., HORVATH, STEVEN M., WERNER, ATTIE Y.

Journal:

American Journal of Physical Medicine & Rehabilitation

Year:

1954

File:

PDF, 443 KB

1954

2

The impossibility of boosting distributed service resilience

Paul Attie, Rachid Guerraoui, Petr Kuznetsov, Nancy Lynch, Sergio Rajsbaum

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 1.34 MB

english, 2011

3

Efficacy of a Long-Acting Growth Hormone (GH) Preparation in Patients with Adult GH Deficiency

Hoffman, Andrew R., Biller, Beverly M. K., Cook, David, Baptista, Joyce, Silverman, Bernard L., Dao, Le, Attie, Kenneth M., Fielder, Paul, Maneatis, Thomas, Lippe, Barbara

Journal:

Journal of Clinical Endocrinology & Metabolism

Year:

2005

Language:

english

File:

PDF, 321 KB

english, 2005

4

Wait-free Byzantine consensus

Journal:

Information Processing Letters

Year:

2002

Language:

english

File:

PDF, 98 KB

english, 2002

5

Synthesis of fault-tolerant concurrent programs

Attie, Paul C., Arora, Anish, Emerson, E. Allen

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2004

Language:

english

File:

PDF, 410 KB

english, 2004

6

Synthesis of concurrent programs for an atomic read/write model of computation

Attie, Paul C., Emerson, E. Allen

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2001

Language:

english

File:

PDF, 600 KB

english, 2001

7

A time projection chamber with GEM-based readout

Attié, David, Behnke, Ties, Bellerive, Alain, Bezshyyko, Oleg, Bhattacharya, Deb Sankar, Bhattacharya, Purba, Bhattacharya, Sudeb, Caiazza, Stefano, Colas, Paul, Lentdecker, Gilles De, Dehmelt, Klaus,

Journal:

Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment

Year:

2017

Language:

english

File:

PDF, 1.21 MB

english, 2017

8

From global choreographies to verifiable efficient distributed implementations

Jaber, Mohamad, Falcone, YliÃ¨s, Attie, Paul, Khalil, Al-Abbass, Hallal, Rayan, El-Hokayem, Antoine

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2020

File:

PDF, 597 KB

2020

9

First specific preimplantation genetic diagnosis for ornithine transcarbamylase deficiency

Pierre F. Ray, Nadine Gigarel, Jean Paul Bonnefont, Tania Attié, Samir Hamamah, Nelly Frydman, Michel Vekemans, René Frydman, Arnold Munnich

Journal:

Prenatal Diagnosis

Year:

2000

Language:

english

File:

PDF, 99 KB

english, 2000

10

Automatic Verification of Fault-Tolerant Register Emulations

Paul C. Attie, Hana Chockler

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 233 KB

english, 2006

11

Prenatal diagnosis of carnitine palmitoyltransferase 2 deficiency in chorionic villi: a novel approach

Bernadette Chadefaux Vekemans, Jean-Paul Bonnefont, Joëlle Aupetit, Ghislaine Royer, Véronique Droin, Tania Attié-Bitach, Jean-Marie Saudubray, Laure Thuillier

Journal:

Prenatal Diagnosis

Year:

2003

Language:

english

File:

PDF, 78 KB

english, 2003

12

Carbohydrate metabolism in children receiving growth hormone for 5 years

Paul Saenger, Kenneth M. Attie, Joan DiMartino-Nardi, Richard N. Fine

Journal:

Pediatric Nephrology

Year:

1996

Language:

english

File:

PDF, 580 KB

english, 1996

13

Fairness and hyperfairness in multi-party interactions

Paul C. Attie, Nissim Francez, Orna Grumberg

Journal:

Distributed Computing

Year:

1993

Language:

english

File:

PDF, 1.46 MB

english, 1993

14

Convergence of iteration systems

Anish Arora, Paul Attie, Michael Evangelist, Mohamed Gouda

Journal:

Distributed Computing

Year:

1993

Language:

english

File:

PDF, 1.31 MB

english, 1993

15

Preface by the section editors

Lenore Zuck, Paul Attie, Agostino Cortesi

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 82 KB

english, 2004

16

On the refinement of liveness properties of distributed systems

Journal:

Formal Methods in System Design

Year:

2011

Language:

english

File:

PDF, 1.44 MB

english, 2011

17

Turing machines, transition systems, and interaction

Dina Q. Goldin, Scott A. Smolka, Paul C. Attie, Elaine L. Sonderegger

Journal:

Information and Computation

Year:

2004

Language:

english

File:

PDF, 326 KB

english, 2004

18

Modulation of intracellular Ca2+ in the parathyroid cell: Release of Ca2+ from non-mitochondrial pools by inositol trisphosphate

Paul A. Epstein, Mark Prentki, Maurice F. Attie

Journal:

Year:

1985

Language:

english

File:

PDF, 367 KB

english, 1985

19

Clinical and pharmacologic risk factors for neuroleptic malignant syndrome: a case–control study

Domenico Berardi, Mario Amore, Paul E Keck Jr, Mario Troia, Maddalena Dell’Atti

Journal:

Biological Psychiatry

Year:

1998

Language:

english

File:

PDF, 42 KB

english, 1998

20

RANKL Inhibitors Induce Osteonecrosis of the Jaw in Mice With Periapical Disease

Aghaloo, Tara L, Cheong, Simon, Bezouglaia, Olga, Kostenuik, Paul, Atti, Elisa, Dry, Sarah M, Pirih, Flavia Q, Tetradis, Sotirios

Journal:

Journal of Bone and Mineral Research

Year:

2014

Language:

english

File:

PDF, 2.59 MB

english, 2014

21

Comparison of bulk Micromegas with different amplification gaps

Bhattacharya, Purba, Bhattacharya, Sudeb, Majumdar, Nayana, Mukhopadhyay, Supratik, Sarkar, Sandip, Colas, Paul, Attie, David

Journal:

Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment

Year:

2013

Language:

english

File:

PDF, 3.06 MB

english, 2013

22

Phosphorylation and Degradation of Tomosyn-2 De-represses Insulin Secretion

Bhatnagar, S., Soni, M. S., Wrighton, L. S., Hebert, A. S., Zhou, A. S., Paul, P. K., Gregg, T., Rabaglia, M. E., Keller, M. P., Coon, J. J., Attie, A. D.

Journal:

Journal of Biological Chemistry

Year:

2014

Language:

english

File:

PDF, 1.61 MB

english, 2014

23

Automating the refinement of specifications for distributed systems via syntactic transformations

ATTIE, PAUL, DAS, CHAMPAK

Journal:

International Journal of Systems Science

Year:

1997

Language:

english

File:

PDF, 763 KB

english, 1997

24

Metabolic Consequences of 5-Year Growth Hormone (GH) Therapy in Children Treated with GH for Idiopathic Short Stature 1

Saenger, Paul, Attie, Kenneth M., DiMartino-Nardi, Joan, Hintz, Raymond, Frahm, Lindley, Frane, James W.

Journal:

Journal of Clinical Endocrinology & Metabolism

Year:

1998

Language:

english

File:

PDF, 973 KB

english, 1998

25

PAX8 , TITF1 , and FOXE1 Gene Expression Patterns during Human Development: New Insights into Human Thyroid Development and Thyroid Dysgenesis-Associated Malformations

Trueba, Sylvia Sura, Augé, Joëlle, Mattei, Géraldine, Etchevers, Heather, Martinovic, Jélééna, Czernichow, Paul, Vekemans, Michel, Polak, Michel, Attié-Bitach, Tania

Journal:

Journal of Clinical Endocrinology & Metabolism

Year:

2005

Language:

english

File:

PDF, 809 KB

english, 2005

26

Effect of Biotrickling Filter Operating Parameters on Chlorobenzenes Degradation

Seignez, Chantal, Atti, Anna, Adler, Nevenka, Péringer, Paul

Journal:

Journal of Environmental Engineering

Year:

2002

Language:

english

File:

PDF, 358 KB

english, 2002

27

Assessing Insulin Resistance: Application of a Fasting Glucose to Insulin Ratio in Growth Hormone-Treated Children

Burgert, Tania S., Vuguin, Patricia M., DiMartino-Nardi, Joan, Attie, Kenneth M., Saenger, Paul

Journal:

Hormone Research

Year:

2002

Language:

english

File:

PDF, 2.38 MB

english, 2002

28

Synthesis of concurrent systems with many similar processes

Attie, Paul C., Emerson, E. Allen

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1998

Language:

english

File:

PDF, 1.00 MB

english, 1998

29

Task scheduling using intertask dependencies in Carnot

Woelk, Darrell, Attie, Paul, Cannata, Phil, Meredith, Greg, Sheth, Amit, Singh, Munindar, Tomlinson, Christine

Journal:

ACM SIGMOD Record

Year:

1993

Language:

english

File:

PDF, 402 KB

english, 1993

30

Efficient formal methods for the synthesis of concurrent programs

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2000

Language:

english

File:

PDF, 239 KB

english, 2000

31

[ACM Press the 17th ACM SIGPLAN-SIGACT symposium - San Francisco, California, United States (1990..-..)] Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90 - Fairness and hyperfairness in multi-party interactions

Attie, Paul C., Francez, Nissim, Grumberg, Orna

Year:

1990

Language:

english

File:

PDF, 1.18 MB

english, 1990

32

[ACM Press the eighteenth annual ACM symposium - Atlanta, Georgia, United States (1999.05.04-1999.05.06)] Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing - PODC '99 - Liveness-preserving simulation relations

Year:

1999

Language:

english

File:

PDF, 1.09 MB

english, 1999

33

[ACM Press the 1993 ACM SIGMOD international conference - Washington, D.C., United States (1993.05.25-1993.05.28)] Proceedings of the 1993 ACM SIGMOD international conference on Management of data - SIGMOD '93 - Task scheduling using intertask dependencies in Carnot

Woelk, Darrell, Attie, Paul, Cannata, Phil, Meredith, Greg, Sheth, Amit, Singh, Munindar, Tomlinson, Christine

Year:

1993

Language:

english

File:

PDF, 402 KB

english, 1993

34

[ACM Press the fifteenth annual ACM symposium - Philadelphia, Pennsylvania, United States (1996.05.23-1996.05.26)] Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing - PODC '96 - Synthesis of concurrent systems for an atomic read/atomic write model of computation

Attie, Paul C., Emerson, E. Allen

Year:

1996

Language:

english

File:

PDF, 921 KB

english, 1996

35

A Multicenter Study of the Efficacy and Safety of Sustained Release GH in the Treatment of Naive Pediatric Patients with GH Deficiency

Reiter, Edward O., Attie, Kenneth M., Moshang, Thomas, Silverman, Bernard L., Kemp, Stephen F., Neuwirth, Rachel B., Ford, Kathleen M., Saenger, Paul

Journal:

Journal of Clinical Endocrinology & Metabolism

Year:

2001

Language:

english

File:

PDF, 151 KB

english, 2001

36

High Dose Recombinant Human Growth Hormone (GH) Treatment of GH-Deficient Patients in Puberty Increases Near-Final Height: A Randomized, Multicenter Trial 1

Mauras, Nelly, Attie, Kenneth M., Reiter, Edward O., Saenger, Paul, Baptista the Genentech Inc. Coopera, Joyce

Journal:

Journal of Clinical Endocrinology & Metabolism

Year:

2000

Language:

english

File:

PDF, 280 KB

english, 2000

37

18F-Based Pretargeted PET Imaging Based on Bioorthogonal Diels-Alder Click Chemistry

Meyer, Jan-Philip, Houghton, Jacob L., Kozlowski, Paul, Abdel-Atti, Dalya, Reiner, Thomas, Pillarsetty, Naga Vara Kishore, Scholz, Wolfgang, Zeglis, Brian M, Lewis, Jason S.

Journal:

Bioconjugate Chemistry

Year:

2015

Language:

english

File:

PDF, 1.54 MB

english, 2015

38

Routine Use of the Confusion Assessment Method for the Intensive Care Unit

van Eijk, Maarten M., van den Boogaard, Mark, van Marum, Rob J., Benner, Paul, Eikelenboom, Piet, Honing, Marina L., van der Hoven, Ben, Horn, Janneke, Izaks, Gerbrand J., Kalf, Annette, Karakus, Atti

Journal:

American Journal of Respiratory and Critical Care Medicine

Year:

2011

Language:

english

File:

PDF, 76 KB

english, 2011

39

Finite-state concurrent programs can be expressed in pairwise normal form

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 1.45 MB

english, 2016

40

[IEEE 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Austin, TX, USA (2015.9.21-2015.9.23)] 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Model and program repair via SAT solving

Attie, Paul, Cherri, Ali, Dak Al Bab, Kinan, Sakr, Mohamad, Saklawi, Jad

Year:

2015

Language:

english

File:

PDF, 1.14 MB

english, 2015

41

Dynamic input/output automata: A formal and compositional model for dynamic systems

Attie, Paul C., Lynch, Nancy A.

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 2.44 MB

english, 2016

42

A general framework for architecture composability

Attie, Paul, Baranov, Eduard, Bliudze, Simon, Jaber, Mohamad, Sifakis, Joseph

Journal:

Formal Aspects of Computing

Year:

2016

Language:

english

File:

PDF, 971 KB

english, 2016

43

[IEEE 2016 Sixth International Conference on Digital Information Processing and Communications (ICDIPC) - Beirut, Lebanon (2016.4.21-2016.4.23)] 2016 Sixth International Conference on Digital Information Processing and Communications (ICDIPC) - A mobile health monitoring application for obesity management and control using the internet-of-things

Alloghani, Mohamed, Hussain, Abir, Al-Jumeily, Dhiya, Fergus, Paul, Abuelma'atti, Omar, Hamden, Hani

Year:

2016

Language:

english

File:

PDF, 15.33 MB

english, 2016

44

SPIE Proceedings [SPIE Astronomical Telescopes and Instrumentation - Waikoloa, HI (Thursday 22 August 2002)] X-Ray and Gamma-Ray Telescopes and Instruments for Astronomy - Calibration of the spectrometer aboard the INTEGRAL satellite

Schanne, Stephane, Cordier, Bertrand, Gros, Maurice, Attie, David, von Ballmoos, Peter, Bouchet, Laurent, Carli, Raffaelo, Connell, Paul, Diehl, Roland, Jean, Pierre, Kiener, Juergen, von Kienlin, And

Year:

2003

Language:

english

File:

PDF, 481 KB

english, 2003

45

SPIE Proceedings [SPIE Astronomical Telescopes and Instrumentation - Waikoloa, HI (Thursday 22 August 2002)] X-Ray and Gamma-Ray Telescopes and Instruments for Astronomy - Imaging with the coded aperture gamma-ray spectrometer SPI aboard INTEGRAL

Wunderer, Cornelia B., Strong, Andrew W., Attie, David, von Ballmoos, Peter, Connell, Paul, Cordier, Bertrand, Diehl, Roland, Hammer, J. Wolfgang, Jean, Pierre, von Kienlin, Andreas, Knoedlseder, Juer

Year:

2003

Language:

english

File:

PDF, 1005 KB

english, 2003

46

Baculovirus-Mediated Expression of Human Apolipoprotein E in Manduca sexta Larvae Generates Particles that Bind to the Low Density Lipoprotein Receptor

Daniel G. Gretch, Stephen L. Sturley, Paul D. Friesen, Nancy E. Beckage and Alan D. Attie

Journal:

Proceedings of the National Academy of Sciences

Year:

1991

Language:

english

File:

PDF, 785 KB

english, 1991

47

Histone Chaperone ASF1B Promotes Human β-cell proliferation via Recruitment of Histone H3.3

Paul, Pradyut K., Rabaglia, Mary E., Wang, Chen-Yu, Stapleton, Donald S., Leng, Ning, Kendziorski, Christina, Lewis, Peter W., Keller, Mark P., Attie, Alan D.

Journal:

Year:

2016

Language:

english

File:

PDF, 1.11 MB

english, 2016

48

Synthesis of large dynamic concurrent programs from dynamic specifications

Journal:

Formal Methods in System Design

Year:

2016

Language:

english

File:

PDF, 1.43 MB

english, 2016

49

Finite-state concurrent programs can be expressed succinctly in triple normal form

Journal:

Information Processing Letters

Year:

2017

Language:

english

File:

PDF, 283 KB

english, 2017

50

Experimental and numerical simulation of a TPC like set up for the measurement of ion backflow

Bhattacharya, Deb Sankar, Bhattacharya, Purba, Rout, Prasant Kumar, Mukhopadhyay, Supratik, Bhattacharya, Sudeb, Majumdar, Nayana, Sarkar, Sandip, Colas, Paul, Atti’e, David, Ganjour, Serguei, Bhattac

Journal:

Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment

Year:

2017

Language:

english

File:

PDF, 1.40 MB

english, 2017